Works by James M. Crawford

( view other items matching `James M. Crawford`, view all matches )
Order:
  1.  4
    Experimental results on the crossover point in random 3-SAT.James M. Crawford & Larry D. Auton - 1996 - Artificial Intelligence 81 (1-2):31-57.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2.  14
    Tractability considerations in deduction.James M. Crawford - 1993 - Behavioral and Brain Sciences 16 (2):343-343.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Implicates and prime implicates in Random 3-SAT.Robert Schrag & James M. Crawford - 1996 - Artificial Intelligence 81 (1-2):199-222.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation